hard-rock boring

硬岩钻进